Curating Object-Oriented Collections Using the TEI
نویسندگان
چکیده
منابع مشابه
Declaring Constraints on Object-oriented Collections
Logic puzzles such as Sudoku are described by a set of properties that a valid solution must have. Constraints are a useful technique to describe and solve for such properties. However, constraints are less suited to express imperative interactions in a user interface for logic puzzles, a domain that is more readily expressed in the objectoriented paradigm. Object constraint programming provide...
متن کاملUsing Object-Oriented Frameworks
Often it is di cult to reuse a software component outside of its original context. Object-oriented frameworks can provide the context in which the component is meant to be reused and thus allow for a signi cant amount of reuse. An object-oriented framework is the reusable design of a system or subsystem implemented through a collection of concrete and abstract classes and their collaborations [...
متن کاملUsing Object - Oriented Techniques
Appropriate use of object-oriented programming mechanisms in the implementation of communication architectures results in a type structure that reflects the architectural model and increases the run-time performance of the protocol machines at each layer. This result is important since it contradicts the assertion by some that layered protocol architectures, such as the ISO Reference Model, nec...
متن کاملVerifying Object-Oriented Code Using Object Propositions
The modular verification of object-oriented code is made difficult by the presence of aliasing. If there are multiple clients depending on the properties of an object, one client may break the property that others depend on. Knowledge of both aliasing and predicates allows us to verify whether clients and implementations are compliant with specifications. We have developed a modular verificatio...
متن کاملObject Oriented Simulation using Modelica
In this report we present the new standard tool of object oriented simulation, the object oriented programming language Modelica. Modelica is a modern language built on non-casual modeling with mathematical equations and object oriented constructs to facilitate reuse of modeling knowledge. The design of Modelica started in the continuous time domain since there is a common mathematical framewor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Text Encoding Initiative
سال: 2016
ISSN: 2162-5603
DOI: 10.4000/jtei.1680